@import url(" http://web-files.googlecode.com/svn/trunk/chenab/style_sheets/font_defs.css");

body {
    /*border: 1px solid blue;*/
}

div.title {
    width: 75%;
    margin: auto; 
    margin-top: 2em;
    margin-bottom: 2em;
    border: 1px solid gray;
    padding: 0.5em 1em 0.25em;
    background: #CCC;
}

div.header {
    /* top right/left bottom */
    width: 75%;
    margin: auto; 
    margin-top: 2em;
    margin-bottom: 2em;
    padding: 10px;
    text-align: center;
    color: black; 
    font-family: Gentium, sans-serif; 
    border: solid #963;
}

div.header h1 {
    font-family:  Steiner, sans-serif; 
}

div.toc {
    width: 75%;
    margin: auto; 
    margin-top: 2em;
    margin-bottom: 2em;
    padding: 10px;
    font-family: Orbitron-bold, sans-serif; 
    border: solid #963;
    line-height: 1.3;
}

div.body {
    width: 75%;
    margin: auto; 
    margin-top: 2em;
    margin-bottom: 2em;
    padding: 1em;
    border: solid #963;
    background: white;
    color: black; 
    font-size: 110%;
    font-family: StixGeneral, serif; 
}


div.body h1 {
    background: #CBB196; 
    color: white;
    margin: 0.5em 0em;
    padding: 0.5em;
    border-width: 1px 1px;
    border-color: #963;
    border-style: solid;
}

div.body h2 {
    margin: 0.5em 0.5em;
    padding: 0em ;
}

div.body h3 {
    margin: 0.5em 0.5em;
    padding: 0em ;
}

div.body h4 {
    margin: 0.5em 0.5em;
    padding: 0em ;
}

div.body p {
    /* top right/left bottom */
    margin: 0.5em 1em 0em;
    padding: 0em;
    /*border: 1px solid red;*/
}

div.body pre {
    margin: -1em 1em 0em;
    padding: 0em;
    /*border: 1px solid blue;*/
    color: black;
    font-family: monospace;
}

div.body code {
    margin: 0 0.5ex;
    color: black;
    font-family: monospace;
}


div.body dt {font-weight: bold;}
/*div.body dd {margin-bottom: 0.5em;}*/

div.body a:link {color: blue;}
div.body a:visited {color: purple;}
div.body a:link:hover {color: red;}
div.body a:visited:hover {color: maroon;}



